| 1. | This case can no longer be handled by elementary geometry .
这种情形初等几何已经无能为力。 |
| 2. | Prominent in the modern elementary geometry of the triangle is the nine-point circle .
九点圆在三角形的现代初等几何中是重要的。 |
| 3. | Application of affine transformation in elementary geometry
仿射变换在初等几何中的应用 |
| 4. | Iterative processes in elementary geometry
初等几何里的迭代方法 |
| 5. | The study of teaching patterns on course conformity of information technology and elementary geometry
试论信息技术与物理实验教学的整合 |
| 6. | The exploratory experiment teaching about calculation of based on the elementary geometry method is researched
摘要探讨了基于初等几何方法的圆周率的数值计算的探索数学实验教学。 |
| 7. | 6 wu w t . basic principles of mechanical theorem proving in geometries . volume i : part of elementary geometries , beijing : science press , 1984 ; springer 1994 . 7 wu w t . mathematics mechanization
2提供了一种基于吴方法的增元消元法的求解方程组独立个数的数学新思路，不仅可以被数学领域而且可以被工程领域里的研究人员所借鉴。 |
| 8. | 1 wu w t . on the decision problem and the mechanization of theorem - proving in elementary geometry . scientia sinica , 1978 , : 159 - 172 . re - published in em automated theorem proving : after 25 years , 1984 , pp . 213 - 234
本文第一作者于上世纪七十年代末开始从事数学机械化研究，致力于实现推理与方程求解的自动化，并创立了几何定理机器证明的吴方法与方程求解的特征列方法。 |
